$\vdash$  ($\lambda$$i$,$j$. $i$ $<$ $j$) $\in$ $\mathbb{N}\rightarrow\mathbb{N}\rightarrow$Type